Applications of Norm and Situation Calculus in the Semantic Web Service Composition

Semantic Web service studies are carried out around the OWL-S, however, OWL-S model does not contain the description of preferences and constraints when we choose and use them in different organizations, different cultures, different sectors and actors because of OWL capacity limitations in rules. It means that Semantic Web service composition can not compose users’ subjective services from the user requirements. The paper makes up for the semantic shortcoming of OWL-S through using norm semantic scalability, and achieves the formal description of the norm by using the situation calculus. Finally, the paper also takes a tourism composite service as an example how to extend the ability of the semantic description of OWL-S, which shows us the combination of the norm and the situation calculus. It is positive significance for eventually realizing semantic extension of OWL-S.